$\forall$$T$, $S$:Type, ${\it op}$:($S$$\rightarrow$$T$$\rightarrow$$T$). SqStable(Cancel($T$;$S$;${\it op}$))